Total Books: 1 - 3 /3
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Lire la suite
Model Driven Architecture- Foundations and Applications
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
Lire la suite
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lire la suite
Total Books: 1 - 3 /3
